Contract-based vehicle